Sfoglia per Rivista LECTURE NOTES IN COMPUTER SCIENCE
Recoverable robust timetables on trees
2009-01-01 D'Angelo, G; G., DI STEFANO; A., Navarra; C. M., Pinotti
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations
2011-01-01 Aceto, L; de Frutos-Escrig, D; Fábregas, I; Ingólfsdóttir, A; Palomino, M
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics
2016-01-01 Aceto, L; García-Pérez, Á; Ingólfsdóttir, A
Rule Formats for Determinism and Idempotence
2009-01-01 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R
Rule Formats for Distributivity
2011-01-01 Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Scheduling Real-Time Mixed-Criticality Jobs
2010-01-01 V. Bonifaci, S. K. Baruah; D'Angelo, G; H., Li; A., Marchetti-Spaccamela; N., Megow; L., Stougie
Selfishness, Collusion and Power of Local Search for the ADMs Minimization Problem
2007-01-01 Flammini, Michele
Some Anomalies of Farsighted Strategic Behavior
2013-01-01 Bilo', V.; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L.
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators
2013-01-01 Aceto, L; Goriac, E; Ingólfsdóttir, A
Strategyproof Mechanisms for Additively Separable Hedonic Games and Fractional Hedonic Games
2018-01-01 Flammini, M.; Monaco, G.; Zhang, Q.
Synthesis of concurrent and distributed adaptors for component-based systems
2006-01-01 Autili, Marco; Flammini, Michele; Inverardi, Paola; Navarra, A; Tivoli, Massimo
Teaching Concurrency: Theory in Practice
2009-01-01 Aceto, L; Ingólfsdóttir, A; Larsen, K G; Srba, J
The Equational Theory of Weak Complete Simulation Semantics over BCCSP
2012-01-01 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
The Shortcut Problem - Complexity and Approximation
2009-01-01 R., Bauer; D'Angelo, G; D., Delling; D., Wagner
When Are Prime Formulae Characteristic?
2015-01-01 Aceto, L; Della Monica, D; Fábregas, I; Ingólfsdóttir, A
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Recoverable robust timetables on trees | 1-gen-2009 | D'Angelo, G; G., DI STEFANO; A., Navarra; C. M., Pinotti | |
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations | 1-gen-2011 | Aceto, L; de Frutos-Escrig, D; Fábregas, I; Ingólfsdóttir, A; Palomino, M | |
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics | 1-gen-2016 | Aceto, L; García-Pérez, Á; Ingólfsdóttir, A | |
Rule Formats for Determinism and Idempotence | 1-gen-2009 | Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R | |
Rule Formats for Distributivity | 1-gen-2011 | Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A | |
Scheduling Real-Time Mixed-Criticality Jobs | 1-gen-2010 | V. Bonifaci, S. K. Baruah; D'Angelo, G; H., Li; A., Marchetti-Spaccamela; N., Megow; L., Stougie | |
Selfishness, Collusion and Power of Local Search for the ADMs Minimization Problem | 1-gen-2007 | Flammini, Michele | |
Some Anomalies of Farsighted Strategic Behavior | 1-gen-2013 | Bilo', V.; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L. | |
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators | 1-gen-2013 | Aceto, L; Goriac, E; Ingólfsdóttir, A | |
Strategyproof Mechanisms for Additively Separable Hedonic Games and Fractional Hedonic Games | 1-gen-2018 | Flammini, M.; Monaco, G.; Zhang, Q. | |
Synthesis of concurrent and distributed adaptors for component-based systems | 1-gen-2006 | Autili, Marco; Flammini, Michele; Inverardi, Paola; Navarra, A; Tivoli, Massimo | |
Teaching Concurrency: Theory in Practice | 1-gen-2009 | Aceto, L; Ingólfsdóttir, A; Larsen, K G; Srba, J | |
The Equational Theory of Weak Complete Simulation Semantics over BCCSP | 1-gen-2012 | Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A | |
The Shortcut Problem - Complexity and Approximation | 1-gen-2009 | R., Bauer; D'Angelo, G; D., Delling; D., Wagner | |
When Are Prime Formulae Characteristic? | 1-gen-2015 | Aceto, L; Della Monica, D; Fábregas, I; Ingólfsdóttir, A |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile